	//
	//
	// fstcw 0xfffffffa(%ebp)
	.byte 0x9b, 0xd9, 0x7d, 0x0a
	// 
	.byte 0xd9, 0x7d, 0x0a